Electric discharge lighting